
#include "vgastr.h"
void main()
{
  printf("Hello OS!");
  printf("Hello World!");
  return;
} 